Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
521	Electrical Verification of the HP PA 8000 Processor Electrical verification applies techniques from both functional verification and reliability and environmental testing to improve the quality of the CPU. Electrical ver Add to Reading List Source URL: davesource.com Language: English - Date: 2009-11-19 18:03:25 Engineering Software testing Design for X Electrical engineering Shmoo plot Reliability engineering Shmoo Failure causes Debugging Failure Technology Systems engineering
522	Secure Virtualization with Formal Methods Cynthia Sturton Electrical Engineering and Computer Sciences University of California at Berkeley Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-12-19 00:17:07 Hardware virtualization X86 architecture X86 virtualization Model checking Virtualization Hypervisor Formal methods Verification and validation Bochs System software Software Virtual machines
523	Electrical Verification of the HP PA 8000 Processor Electrical verification applies techniques from both functional verification and reliability and environmental testing to improve the quality of the CPU. Electrical ver Add to Reading List Source URL: davefaq.com Language: English - Date: 2000-08-22 08:44:34 Engineering Software testing Design for X Electrical engineering Shmoo plot Reliability engineering Shmoo Failure causes Debugging Failure Technology Systems engineering
524	Towards trustworthy aerospace systems Towards Trustworthy Aerospace Systems: An Experience Report Joost-Pieter Katoen Software Modeling and Verification Group Add to Reading List Source URL: events.fortiss.org Language: English Manned spacecraft Spaceflight Human spaceflight International Space Station
525	An asterisk () indicates section where objective evidence is required. 4. Organization/Management 4.1.1 Requirements Add to Reading List Source URL: search.anab.org Language: English* - Date: 2015-01-09 11:06:58 Quality management Systems science Quality Software quality Software requirements ISO Reliability engineering Verification and validation Requirement Systems engineering Science Software development
526	BAP: A Binary Analysis Platform David Brumley, Ivan Jager, Thanassis Avgerinos, and Edward J. Schwartz Carnegie Mellon University 5000 Forbes Ave., Pittsburgh, PA, USA Abstract. BAP is a publicly available infrastructur Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2011-07-20 13:50:41 Software Applied mathematics Programming language implementation X86 Runtime verification Low-level programming language Formal verification Pin Compiler Formal methods Logic in computer science Computing
527	EUROPEAN COMMISSION DIRECTORATE-GENERAL CLIMATE ACTION Directorate A - International and Climate Strategy CLIMA.A.3 - Monitoring, Reporting, Verification Add to Reading List Source URL: ec.europa.eu Language: English - Date: 2014-11-06 15:58:26 Science Software development Technology Climate change policy Formal methods Validation Verification and validation European Union Emission Trading Scheme The Verifier Systems engineering Pharmaceutical industry Validity
528	Synthesizing Programs with Constraint Solvers CAV 2012 invited tutorial Ras Bodik Emina Torlak Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-07-31 02:23:26 Software engineering Formal methods Constraint programming Logic in computer science Logic programming Solver Formal verification Synthesizer Model checking Applied mathematics Theoretical computer science Programming paradigms
529	NASA Ocean Biology and Biogeochemistry GSFC Calibration and Validation Office 1450 S. Rolling Road, Halethorpe, Maryland 21227 +[removed]27 April 2009 Add to Reading List Source URL: oceancolor.gsfc.nasa.gov Language: English - Date: 2013-04-29 07:35:04 Chromatography Verification and validation Zearalenone Calibration curve High-performance liquid chromatography Quality assurance Protocol Mass spectrometry software Chemistry Science Scientific method
530	[removed]Computer Science Colloquia Some Decidability Results for Asynchronous System Verification Samik Basu Associate Professor, Director of Software Engineering Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2013-10-21 10:18:08 Proof theory John Vincent Atanasoff Decidability Realizability FIFO Distributed computing Message passing Concurrent computing Inter-process communication Computing

UPDATE